University of Technology

Results: 48361



#Item
411

Poznan ´ University of Technology Faculty of Computing Science and Management Institute of Computing Science Master’s thesis

Add to Reading List

Source URL: tomasz.buchert.pl

- Date: 2018-01-27 23:28:19
    412

    A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur Technology

    Add to Reading List

    Source URL: scheme2016.snow-fort.org

    - Date: 2016-10-11 08:27:06
      413

      Filtering Test Models to Support Incremental Testing Antti Jääskeläinen Tampere University of Technology Department of Software Systems

      Add to Reading List

      Source URL: www2010.taicpart.org

      - Date: 2010-09-07 09:09:47
        414

        Practical Keystroke Timing Attacks in Sandboxed JavaScript M. Lipp, D. Gruss, M. Schwarz, D. Bidner, C. Maurice, S. Mangard Sep 11, 2017—ESORICS’17 Graz University of Technology

        Add to Reading List

        Source URL: mlq.me

        - Date: 2018-03-02 04:05:47
          415

          Werner Rammert Distributed Agency and Advanced Technology Or: How to Analyse Constellations of Collective Inter-Agency1 Technical University Technology Studies Working Papers TUTS-WP

          Add to Reading List

          Source URL: www.ts.tu-berlin.de

          - Date: 2011-06-14 15:22:25
            416

            EPC Congress 2018: Fit for the Future With the generous support of Harper Adams University, The Institution of Engineering and Technology, and The Institution of Agricultural Engineers THE PROGRAMME Monday 14th May

            Add to Reading List

            Source URL: epc.ac.uk

            - Date: 2018-03-14 10:11:11
              417

              Cornelius Schubert Social Innovations. Highly reflexive and multi-referential phenomena of today’s innovation society? A report on analytical concepts and a social science initiative Technical University Technology St

              Add to Reading List

              Source URL: www.ts.tu-berlin.de

              - Date: 2014-03-07 05:10:34
                418

                Error-tolerant Image Compositing Michael W. Tao1 , Micah K. Johnson2 , and Sylvain Paris3 1 University of California, Berkeley 2 Massachusetts Institute of Technology 3

                Add to Reading List

                Source URL: graphics.berkeley.edu

                - Date: 2010-07-07 21:42:35
                  419

                  Poznan ´ University of Technology Faculty of Computing Science and Management Institute of Computing Science Master’s thesis

                  Add to Reading List

                  Source URL: tomasz.buchert.pl

                  - Date: 2018-01-27 23:28:15
                    420

                    Delft University of Technology Software Engineering Research Group Technical Report Series Code Phonology: an exploration into the vocalization of code

                    Add to Reading List

                    Source URL: www.felienne.com

                      UPDATE